Replying...
Intro. how are ordinary questions of existence quantifiable in formal language

the void lessons in musashi's book of five rings in terms of first order logic

@synt