3.5.3 垂直正确性