trying to fix id-class problem with assumptions