Results: cnfm compilation, Page 37