Prove anonymous hold (13/48)

Prove anonymous hold