===== Section 18. =====

No bill of attainder, ex post facto law, or law impairing the
obligations of contracts shall ever be passed.