A bidirectional formula is also known as an integrity constraint in databases (plus some triggers for restoring the constraint upon updates)!