 Generally only deadlock-free interaction nets are considered.Together, interaction and indirection define the reduction relation on configurations.The fact that configuration formula_48 reduces to its "normal form" formula_49 with no equations left is denoted as formula_50.