Prove anonymous hold (35/48)

Prove anonymous hold