Prove anonymous hold (16/48)

Prove anonymous hold