the preconditon is a relationship match, not a computation