Prove anonymous hold (33/48)

Prove anonymous hold