m:t formulerat slutvilkoret sålunda: