How does that happen? Can you explain why it matters?
“Because the pot is shared by many people who just pass through, and the heater does not switch off when the pot is empty.”
Why doesn’t it switch off?
“Because … a requirement was missed.”
Therefore we can write down an improved requirement – one of several: