finished MarkNF and Compact