#behavioral-contracts