document pluralise, distinct, satisfy, and factorise