Versions of various tools used in this paper