Add a constrain that 'out' must be true...
Add a constrain that 'out' must be true...

i.e. a true self-enumerating pangram is the only
valid output for the inputs to the boolean
expression
tuzz/hdl.js,tuzz/hdl.js