MSU Logic: A Case Study