Definition of EX POST FACTO