Peter van Eijk: Software in Reality