Provably Fair Verification | Rust Snowball