-1: lab
-1: w|t[0,0]
-1: w&t[0,0]
-1 loc: w&t[0,0]
-1: phLen[0,0]