Formal Communication with EJAC