to triple [ tripled ; tripled ]