Experimental Analysis of the Formulation of Counterfactual Statements in Second-Order Matching-to-Sample Tasks.