A cone-theoretic barycenter existence theorem (Logical Methods in Computer Science, 2024)