Specific type to override 'show'
Basic truth table construction