Description: Extract the second member of an ordered pair. (See op1sta to extract
the first member, op2ndb for an alternate version, and op2nd for the
preferred version.) (Contributed by NM, 17-Feb-2004)(Proof shortened by Andrew Salmon, 27-Aug-2011)