The shrinking of Lake Lisan, as reflected by the diagenesis of its marginal oolitic deposits