Prove anonymous hold (39/48)

Prove anonymous hold