Renamed mic proof to appropriate name