one scheduler; rule D is back, rm from formal;