Methods of Logic.