http://minsky.gsi.dit.upm.es/semanticwiki/index.php/Specialhttp://minsky.gsi.dit.upm.es/semanticwiki/index.php/Removing%5Cshort-circuiting_%27Purse%27_logic

used by 1: