I worked out the intent and realized someone made a booboo … see wiki notes.