Maybe force isn't required because they have some secret P=NP proof.