Prove anonymous hold (43/48)

Prove anonymous hold