§23. Prohibited Laws
Section 23. No bill of attainder, ex post facto law, or law impairing the obligation of contracts shall be enacted.