Prove anonymous hold (4/48)

Prove anonymous hold