That makes sense thanks. I'm assuming I can't dynamically reference parts of the relation I'm writing in the pre-condition and would have to fully build it manually, nor is there any way to have it enforceable at the schema level?