Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space (Logical Methods in Computer Science, 2024)