 Deletion condition for involutory generators

For a group generated by involutions, the deletion condition says that every nonreduced word can be shortened without changing its value by deleting two of its letters.