(* if one_dpm isn't already false at (r, h),
we want to check its behavior when updated with phi
bind_set (unit_set one_dpm) phi === phi one_dpm; do you remember why? *)
(* if one_dpm isn't already false at (r, h),
we want to check its behavior when updated with phi
bind_set (unit_set one_dpm) phi === phi one_dpm; do you remember why? *)