JIME logic view 2