Petter's Random Thoughts on Software: Tightening the Envelope