we also don't know the connection between a precondition and specific relationship update