(Relying on *just* this assertion chain.)