Doc should go to body/2, and this one should have an equiv tag instead. Same for the other function.