What are derivations?
a. Sentences in a proof whose truth we take for granted
b. Sentences in a proof inferred from the conclusion
c. Sentences that justify the rules of logic
d. Sentences inferred from the inference rules