LogicFailureが起きないことを保証するべきって話ですね型で保証できない範囲はテストで保証するなり