"A `Freeze` bound would also work"?