Definition of POST FACTO