Prove anonymous hold (9/48)

Prove anonymous hold