An efficient interaction net system which can be seen as Symmetric-Interaction-Combinators, extended with node labels. It is desirable for being capable of reducing EA-CORE terms optimally. It is designed to be simple and easy to formalize. When extended with primitive numbers, it becomes FM-NET.
