Does Direct Inference Require Pollock’s Principle of Agreement? tr 2007, 1 (3).