The abstract/concrete distinction in P2 is question-begging if 'concrete' is defined precisely as 'h...