SMS dit: Cartesian products as profinite completions