Prove anonymous hold (6/48)

Prove anonymous hold