Prove anonymous hold (17/48)

Prove anonymous hold