basin of corrigibility seems to be a reasonably large crux for prosaic alignment vs. miri debates