leave out

Translation: