- I've been using Bend in a side project, and it is worth adopting selectively to mathematically prove domain rules that must always hold. While tests check whether a proposition holds for selected cases, I find it satisfying that Bend lets me prove that it holds in every case within the stated assumptions and input domain, and mechanically check that proof.