Prove anonymous hold (38/48)

Prove anonymous hold