adding hufterproofness