Added header with hardcored truth table