Matching:

The list on the left is one half of a definition, postulate, or theorem.  The list on the right is the second half.  The terms on the right are in alphabetical order.  For each definition, type the number of the matching term.