Fairly disappointed that it’s not Amodei/Amor Dei there. A terrible blow for nominative determinism.