The Top Level of Tractatus Logico-Philosophicus