Text this: Tracing proof schemes: some patterns and newperspectives