More ideas from Karel
Don't waste your time proving it.

Don't waste your time proving it.