Prove anonymous hold (47/48)

Prove anonymous hold