Prove anonymous hold (29/48)

Prove anonymous hold