Renamed dot->triple for triple product