Title: A modern elementary logic,