Eliciting Formal Operations.