Quiz: From tested to proved: why guarantees are back on the agenda