Formal operations