Presburger M. ...