Contrast this with the Texas version : Article 1 ( Titled Bill of Rights ) Section 16, entitled " Bills of Attainder; Ex Post Facto or Retroactive Laws : Impairing Obligation of Contracts " : " No bill of attainder, ex post facto law, retroactive law, or any law impairing the obligation of contracts, shall be made ".
