Там в конце полезное уточниение, что "уровни" эквивалетности правильнее называть "типами" и не думать, что "чем выше уровень, тем лучше")