Text this: The traditional formal logic :