[id: ghibojprnbvcwjos] input(what is a good data structure for a $x?) && fact(the state of a $x is defined by $y) => enter && entity(the $x) && entity(the state of the $x) && entity($y) && fact($y defines {the state of the $x}) && input(what is a good data structure for {the state of the $x}?) [id: iwguefzfgabfabvs] entity(the $faces of $y) => entity($y)