Results: cnfm compilation, Page 53