Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators.