Does direct inference require Pollock’s Principle of Agreement?