improved "as.mip"