Define_and_Punish_Clause loading ...