Four-card problem