rewrote first_round_of_differentials so that it uses the new functions.