Structural rules of inference