Formal Lloyd