The Logical theo thinker.