JIME logic view 1