Theories and discoveries