Galois connecting call-by-value and call-by-name (Logical Methods in Computer Science, 2024)