add a screenshot of a lean 5.7