Whoops, stopped in the middle of tesco to prove a lemma. Not sure how long I was stood there, but it seems to have stopped raining.