Prove anonymous hold (37/48)

Prove anonymous hold