four-card problem