Prove anonymous hold (44/48)

Prove anonymous hold