The two envelopes problem