A theory of the formation of HC1 by the stomach.