Higher-order friendly implies contract.