Text this: The traditional formal logic ;