New Ideas For the Old, State-of-the-Art Logic!