Frege demonstrated in Begriffsschrift that predication is irreducibly asymmetric: the function-argum...