Verifying Inverses | BlastRoom