No, actually, it’s part of our Buttercrunch lettuce crop covered with frost.
They are “none the worse for wear”. I made a salad for lunch later that day. The frost really improved the flavor.
The same was true for our other varieties of lettuce; leaf,romaine and real iceberg.