Donde IM es el invariante del monitor.