We have a contract with Azul that allows us to report bugs with the expectation they are fixed. We can and do use this ability.