( Skutot e. ax z ).