MQM Spring Formal