... adding structures to distinguish between trivial and non-trivial inference rules