Right constraints? An analysis of Gauthier’s reasoning about morals