The Universe of Elegant Logic