Article I, Section 18 [Attainder -- Ex post facto laws -- Impairing contracts.]
          No bill of attainder, ex post facto law, or law impairing the obligation of contracts shall be passed.