[id: sylalbgxsiuorkgw] fact($invisible means you can't $see it) && fact($x is invisible) => fact(nobody can see $x)