I feel like there are a couple of elephants in the room that are sort of
important but nobody really addresses them directly. One of them was
what became the AMP, and `fail` is another one.