• Bend를 사이드 프로젝트에서 실제로 사용해 보고 있는데, 항상 지켜져야 하는 도메인 규칙을 수학적으로 증명하는 용도로 부분적으로 도입해 볼 만하다. 테스트가 선택한 사례에서 명제가 성립하는지 확인한다면, Bend에서는 명시한 전제와 입력 범위 안의 모든 경우에 그 명제가 성립함을 증명하고, 그 증명을 기계적으로 검사할 수 있다는 점이 만족스럽다.