No Faster-Than-Light Observers (GenRel). - Mike Stannett; Edward Higgins; Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Arch. Formal Proofs, 2023)