Equivalence of compactness and sequential compactness. Menu oi coffee Pastry. Ward pronunciation meaning. 巫女 形代.