Describir: An Introductory Logic.