Project proposal

As above, you only need to write `while correct`