Prove anonymous hold (5/48)

Prove anonymous hold