Re: [tor-dev] Finding the catch probability