CNF

@Hoss93 
choose a better name like get_implications or something