Text this: Exploring mathematical connections in the context of proof and mathematical argumentation: a new proposal of networking of theories