Add Modal Logic