Given StringTM#1769

Given StringTM (Discussion)