Non-Trivial Second Order Logic

This is THOMTHOMTHOM my wiki site, with pages of knowledge
Zarathustra climbs to great heights with a dwarf on his shoulders to show him his greatest thought