Introduction and basic propositions | AMiner