formal case