See Full Constitution
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.
No bill of attainder, ex post facto law, or law impairing the obligation of contracts shall be passed.