Free Node Semantics

Just a notation