Model Checking tekstilinnbindingEngelsk, 1999