When everything is finite and memory is always limited, what are you meaningfully saying about the possible behaviors of software here?