might want to assert on the correctness of the final result too