Source: http://www.cs.columbia.edu/~sedwards/classes/2021/4115-spring/proposals/Meowlang.pdf