Prove anonymous hold (10/48)

Prove anonymous hold