Prove anonymous hold (11/48)

Prove anonymous hold