I’m not sure where you got your (6/7) figure for neq1′s calculations.
neq1 admits that in my original scenario, before I introduced the coin and hibernations, you have a 6⁄7 probability of waking in the morning. The case where one of the two coins is heads and the other is tails is equivalent to this.
neq1 admits that in my original scenario, before I introduced the coin and hibernations, you have a 6⁄7 probability of waking in the morning. The case where one of the two coins is heads and the other is tails is equivalent to this.