Added theories and analysis