En particular, una deducción natural en estilo de Fitch puede ser adaptada para introducir la relevancia introduciendo etiquetas en el extremo final de cada línea de una derivación indicando las premisas “relevantes”.