splashes now optional
lemmafix