Introduction
Hypotheses
Method
Results
Binary paraphrasal selection.
Binary truth-conditional selection.
Paraphrase n "equivalent" to truth-condition n.