figured out how to unfold V relation definition