Slight efficiency using propn-ids from let instead of redoing in doseqs