(p. pr. & vb. n.) of Pretypify.