Did some additional content (toNNF) [Note: toNNF is buggy as fuck]