Source: http://web.mit.edu/aaravind/www/handouts/AravindHackl-SALT-finaldraft.pdf