Definition:A Posteriori