Source: https://www.utdallas.edu/~liebowit/intprop/MIT.pdf