 These lakes would be entirely encased in the moon's icy outer shell and distinct from a liquid ocean thought to exist farther down beneath the ice shell.Rather than an external impact, the authors propose a four-step model for producing the surface expressions (chaos terrain) and the shallow, covered lakes.Full confirmation of the lakes' existence will require a space mission designed to probe the ice shell either physically or indirectly, for example using radar.