Formal case