They tried to turn the lawn into a swamp, but that’s pointless here. It’ll dry out in about three hours anyway.