Using Operation::format()