Prove anonymous hold (7/48)

Prove anonymous hold