Yesterday morning was fine enough (though not a patch on Saturday which was glorious) and I thought I'd let the grass have another day drying out while the washing blew on the line, then I'd mow it in the afternoon. Or not. To put it mathematically:
A ≫ 0
Where A is the the chance of rain before the last bit of washing hit the line. Oh well.