Landmarks in Logic - Side View