F4: admission by finite-degree reduction

No inference from a single nonspacelike covector was used. Membership was proved by exhibiting the required decomposition. Conversely, an admission obstruction would have to exclude every ${\mathcal{M}}_1+{\mathcal{Q}}_{\Sigma }$ decomposition, not merely one proposed decomposition.