Formal Lu