Prove anonymous hold (46/48)

Prove anonymous hold