Started on autoComp.lhs