PVL ("Prior Virtual Lab"), http://research.prior.aau.dk/ login_user.php, screen dump, April 21, 2017. Source publication. Saul Kripke's diagrammatical .