The formation of ice waves on a lake is an undeniable fact.