Prove anonymous hold (42/48)

Prove anonymous hold