A biconditional linking P≠NP to a purely logical separation inherits the undecidability of its antec...