// closure: triple