definition of below in A and B
no proof for co-continuous subchain lemma
put diagrams of A, B after their definitions
decrease level distance of figure B
reshuffling, wording