Most functions need to plan for outputs that may never come, and so we need a concept of images which are subsets of codomains. But these images are not precise because they often depend on real life, such as what time we consider the question or in what state we find ourselves working. Those call for a modal interpretation to clarify what we mean by the classical set view of images. Combined with our computation images we have a powerful tool ally in computing.
