proleptically

not defined yet