Common sense can tell us whether particular citizens should be exempt from certain government policies for religious reasons. Codifying such instinctive judgments into formal statutes is more difficult.