True is the unit of logic and as a monoid. You know math is useful.