Structural inference rule in a logical system.