Prove anonymous hold (30/48)

Prove anonymous hold