Results: cnfm compilation, Page 41