tiny step in allfin proof