John’s Rock Loop (9/14/23)