adding some hufterproofness