Informal Aspects of Theory Reduction · Study