Text this: A modern elementary logic