@Haley_Lindley proof