preadmits

not defined yet