@janneke so gather from this that avoiding bugs by formal methods is the core of what you would call quality?