Prove anonymous hold (25/48)

Prove anonymous hold