Certified Dot 3 Boiling