Prove anonymous hold (18/48)

Prove anonymous hold