表明されているなら、事前条件として、logic failureとしてコーディングされる事自体は良いと思います。