Church-GP loop short