 Just like in the formula_26-calculus, the interaction calculus has the notions of "formula_1-conversion" and "substitution" naturally defined on configurations.Specifically, both occurrences of any name can be replaced with a
new name if the latter does not occur in a given configuration.Configurations are considered equivalent up to formula_1-conversion.