0. (TOP-REAL 2) = |[0,0]|