AbstractA proof template with a truth table. The table is added as a figure, has a caption and a label, and there is a reference to the table (as a figure) in the prose.