User:Private lecturer (celestial)/Userbox/Pascal's wager