Text this: Symbolic logic :