Five failure tests

These are rejection and scope tests, not additional sufficient premises for a positive theorem. A later paper must prove the required repairs or explicitly retain the corresponding limitation.