A Posteriori Demonstration (Concept) - Source Library Encyclopedia