Prove anonymous hold (40/48)

Prove anonymous hold