Partial pressures and gas laws