Actually, why do people believe that corrigibility is possible? Maybe there's no aixified version of it, and you can only do it if you believe that there's a smarter entity
Other great families: The Shapley family The Bernoulli family The Bach family The Vazirani family (okay, maybe just the brothers for now, but stay tuned)