What is Article 20(1) Protection from Ex post facto lawWhat is Article 20(1)