add picture from last meeting about bidirectional typing