LMC-Mesh-Formal-V