primings

not defined yet