Hewitt–Savage Zero–One Law - Ontify