Explain proof rules in more detail.