Jedi opens definition in right split