first take on reduction to HNF