... the contrapositive of that first statement:
P 1 ... , but has interpreted this statement in logic to mean: ... we are given a conditional statement, that we translate correctly, ... might have interpreted that conditional statement wrong is hard enough. ...