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