mrrrp mrrrp brrr formal verification go brrr
No issues yet.