Prove anonymous hold (1/48)

Prove anonymous hold