What to do with the Ten Commandments