Prove anonymous hold (48/48)

Prove anonymous hold