antiprojectivity
not defined yet