Prove anonymous hold (14/48)

Prove anonymous hold