aut[44] ist ein ausschließendes Oder, d.h. ein striktes Entweder-oder. Das einschließende Oder, das es auch erlaubt, beide Optionen zu wählen, heißt vel[22].