Leroy's Lament is following