Compressed air has been the standard and most widely used breathing mix in recreational diving for decades. Breathing-gas mixtures with a lower nitrogen content and...