The universality of P≠NP across computational models and its resistance to standard proof techniques...