The Road to Universal Logic