Formation of Theories