Prove anonymous hold (2/48)

Prove anonymous hold