( { X ' 8-Y mnv)