Adding flattening lemma + join