trlc
trlc copied to clipboard
adds tracing for quantification
adds tracing for chapter 14