Thomas Augmentation of

Thomas with Algol syntax