Prove anonymous hold (41/48)

Prove anonymous hold