Manfred comments on Probability updating question − 99.9999% chance of tails, heads on first flip