On the other hand, fuzzing is only as “correct” as your coverage, properties/assertions, corpus synthesis, etc.