Include Luca's Rains implem and Ludovic's normal to monomial stuff.