Prove anonymous hold (34/48)

Prove anonymous hold