Prove anonymous hold (31/48)

Prove anonymous hold