@iamleaf: proof