@JasonLang2 proof