Ex post facto law.   (See definition under I.9.3.).