But really, summer can come back whenever