Explaining Great Logics