Text this: The formal disciplines theory and mental logic