Prove anonymous hold (8/48)

Prove anonymous hold