added xbeta clause