RE: Fun probability question