Четири са от съществено значение за итерация на казус, OTTR, триангулация и изключване на конкурентни обяснения.
Необходими са четири, за да се докаже, че съперничещите обяснения не могат да се случат поради гравитацията.