Prove anonymous hold (32/48)

Prove anonymous hold