-- covers exists and fills

normalize2 :: Concept -> AtomicDefMap -> Concept
normalize2 c@(And _) defs = normalize c defs
normalize2 :: Concept -> AtomicDefMap -> Concept
normalize2 c@(And _) defs = normalize c defs
normalize2 c@(And _) defs = normalize c defs