http://minsky.gsi.dit.upm.es/semanticwiki/index.php/Special:URIResolver/Category-3ARemoving-5Cshort-2Dcircuiting_-27guard_logic-27

used by 1: