sky is red <MAT16 -:2 >
sky is red <MAT16 -:3 >
~~~~~~