eliminate admits in Red.