while and IMSMN