started families for reduce proof -consider using lists instead of ux