Describir: Symbolic logic /