You're right, but the comment you replied to covers that: > This has been confirmed by fallible tools and is checked against human-made models which are also f

You're right, but the comment you replied to covers that: > This has been confirmed by fallible tools and is checked against human-made models which are also fallible, but this code is still likely to be about as close to bug-free as currently possible.