LEmma comments on After critical event W happens, they still won’t believe you

[LEmma]

Vampire uses specialisation according to wikipedia:

A number of efficient indexing techniques are used to implement all major operations on sets of terms and clauses. Run-time algorithm specialisation is used to accelerate forward matching.