Prove anonymous hold (19/48)

Prove anonymous hold