Truth Terminal Language (Consider)