Prove anonymous hold (26/48)

Prove anonymous hold