subhorizontalness
not defined yet