Prove anonymous hold (23/48)

Prove anonymous hold