Document functions and remove redundant isEqv.