... begins with “since.” This should reference back to the ... the contrapositive of that first statement:
P ... we are given a conditional statement, that we translate correctly ... might have interpreted that conditional statement wrong is hard enough. ...