How would one express this using a world-program?

def P():
envelope_full = pi_parity(10^6)
refuse = Omega_Predict(S, "I predicted that you will refuse this ￡10 if and only if there is ￡1000 000 in Alpha's envelope.")
if envelope_full:
u += 1000000
if refuse == envelope_full:
if not S("I predicted that you will refuse this ￡10 if and only if there is ￡1000 000 in Alpha's envelope."):
u += 10