Prove anonymous hold (36/48)

Prove anonymous hold