title: What does the term "reason about" mean in computer science?
body: <p>While learning functional programming, I keep coming across the term "reason about" especially in the context of pure functions and/or referential transparency. Can somebody explain what exactly does this mean?</p>