Work on sample truth table in main