The existential graphs