... don't use the exhaustive formal logic to solve them.
< ... Just like before, pure formal translation and logic doesn't get you ... simply doing 7sage's formal translations and logic doesn't get you ... 'most often,' and again, formal 7sage lawgic has no answer ...