[see also: other
the second largest element
the second last row = the last but one row
the second author = the second-named author
To guarantee Q(3), we use MA a second time to control the perfect sets.