Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.