Some stuff about arrowfree and nnf