Revealed religion is one thing, revealed legislation, another.