adding non-naive MIS