ul li p7272019 Ebr-structure~MainLemma 5610 Structurep p12p li li p7272019 Ebr-structure~MainLemma 5610 Structurep p22p li ul