added core classes for building CNF