Constant Q-curvature metrics on a product Riemannian manifold | Synapse