Prove anonymous hold (45/48)

Prove anonymous hold