Added empty rules of inference, replacement. Added incomplete deriver() code.