Cleaned out Node' (Set parameterized), updated relation lemmas