Topological product of modal logics with McKinsey axiom | Synapse