7.13.3: Unidentified choir