Do you often create provably error free software? I'd love to hear more about it. A quick google suggests the updates mostly tweak rinse times and temperature

Do you often create provably error free software? I'd love to hear more about it. A quick google suggests the updates mostly tweak rinse times and temperature settings, presumably based on data that wasn't available before the model shipped.