would have

Translation: