Prove anonymous hold (27/48)

Prove anonymous hold