Where ap is an equivalence, the map is 1-truncated.