SECTION 18. Attainder -- Ex post facto laws -- Impairing contracts.