Added verifier, substituter.
Adding forgotten delete.