Exploration of a Rigid Ice Model of Frost Heave | Synapse