Add another case to proof my algorithm