refs #493: sections within rule/statement abd rule/proof now convert