Galois Connecting Call-by-Value and Call-by-Name