proleptics

not defined yet