prespecification

not defined yet