Poset + Key assignment + Key derivation + Node + Edge works + Test //
works