Mammatus clouds are formed when cold upper air sinks downward, forming pouches under the cloud layer