Title: A modern elementary logic