Prove anonymous hold (22/48)

Prove anonymous hold