( XaJt-Y ; i)