Tore out all the 'satisfies' methods.