Dave made fruit punch for his party but accidentally tripped and spilled 5/12 of the punch. How much of the punch was left?