Prove anonymous hold (21/48)

Prove anonymous hold