JIME logic view 3