Done operation contracts