Lambda Oxygen Sensor Theory