. @ExploreMqt In the annotated spec (http://amzn.to/pu046c), @EricLippert mentions that they've considered changing it. I hope it changes.