Necessary condition claims require modal robustness across all possible physical implementations, no...