Premises P3 and P4 illicitly assume that abstract relational structures like 'longer than' can exist...