WIMMS, Isaac