We are thankful to Prof. Alex Aiken from Stanford University for making the Cool document freely available.