论证功能涉及证成和()。