För säkerhets skull vilja vi dock antaga,