ロジックは合っているがバグだ、というのは割とよくある(まれにではない)