Prove anonymous hold (3/48)

Prove anonymous hold