A countably compact topological group with the non-countably pracompact square

Abstract

Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.