Is there a reason to choose strict algorithms over lazy or vice-versa?Both are algorithmically important.2021-02-23