Prove anonymous hold (15/48)

Prove anonymous hold