This review has moved to /reviews/2020/parity_ocean.html.