now returns proper homological derivative