Find countably compact at the top, after redirect (3 sec later).