White to play and check-mate in four moves.