-Taddart + n + lexzin = taddart n lexzin .