bevis och allmänna satser ; den fordrar fakta och specialiteter.