A strong call-by-need calculus (Logical Methods in Computer Science, 2023)