axiom, dialogical logic2, dialogue game2, heuristic, object-oriented programming, proof theory, web mathematics.