Figure: Specification of operations