make sure $frozen has a value