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