Requires fusing the lower approximation code with `diff`.
Requires fusing the lower approximation code with
diff.