projectivity

not defined yet