PropositionTable
