More detail on DRAT.