Hewitt–Savage 0-1 law

GPTKB entity