favorites lhproofs June 23, 2019