verbatimtex \magnification=\magstep1 etex u=1cm; beginfig(1); z0 = (0,0); % z0 is origin x10 = x0; y10 = y0; % z10 is point A x11 = x10; y11 = y10 + 8u; % z11 is point B x12 - x10 = y11 - y10; y12 = y10; % z12 is point E x13 = x12; y13 = y11; % z13 is point G z14 = 0.6 [z10, z11]; % z14 is point F z16 = 0.9 [z10, z12]; x161 = x16; y161 = y16 - 0.1u; z210 = 0.6 [z10, z12]; z220 = 0.3 [z10, z12]; x211 = x210; y211 = y11; x221 = x220; y221 = y11; z212 = 0.35 [z210, z211]; z222 = 0.5 [z220, z221]; z213 = 0.75 [z210, z211]; z223 = 0.65 [z220, z221]; z214 = 0.5 [z210, z211]; z224 = 0.8 [z220, z221]; draw z10--z11--z13--z12--cycle; draw z210--z211; draw z220--z221; draw z16--z161; draw z12..z212..z222..z14; draw z13..z213..z223..z14; draw z12..z214..z224..z11; label.bot(btex ${\rm A}$ etex, z10); label.rt(btex ${\rm E}$ etex, z12); label.lft(btex ${\rm B}$ etex, z11); label.rt(btex ${\rm G}$ etex, z13); label.lft(btex ${\rm F}$ etex, z14); label.bot(btex ${\rm e}$ etex, z161); label.bot(btex ${\rm C}$ etex, z210); label.bot(btex ${\rm C}$ etex, z220); label.llft(btex ${\rm d}$ etex, z212); label.llft(btex ${\rm d}$ etex, z222); label.urt(btex ${\rm D}$ etex, z213 + (0,4pt)); label.ulft(btex ${\rm D}$ etex, z223); endfig; beginfig(2); z0 = (0,0); % z0 is origin x10 = x0; y10 = y0; % z10 is point A x11 = x10; y11 = y10 + 9u; % z11 is point B x12 - x10 = y11 - y10; y12 = y10; % z12 is point E x13 = x12; y13 = y11; % z13 is point G z14 = 0.5 [z10, z11]; % z14 is point F z16 = 0.9 [z10, z12]; x161 = x16; y161 = y16 - 0.1u; z301 = (1/2) [z14, z12]; z302 = (1/3) [z14, z12]; z303 = (1/4) [z14, z12]; z304 = (1/5) [z14, z12]; z305 = (3/20) [z14, z12]; z306 = (1/10) [z14, z12]; z307 = (1/20) [z14, z12]; draw z10--z11--z13--z12--cycle; draw z12--z14; draw z13--z14; x3011 = x3012 = x301; y3011 = y10; y3012 = y11; x3041 = x3042 = x304; y3041 = y10; y3042 = y11; z3013 = (z3011--z3012) intersectionpoint (z13--z14); z3043 = (z3041--z3042) intersectionpoint (z13--z14); draw z12 .. ( 0.5 [z12, z301] + (0,0.4u) ) .. z301; draw z301 .. ( 0.5 [z301, z302] + (0,0.3u) ) .. z302; draw z302 .. ( 0.5 [z302, z303] + (0,0.2u) ) .. z303; draw z303 .. ( 0.5 [z303, z304] + (0,0.15u) ) .. z304; draw z304 .. ( 0.5 [z304, z305] + (0,0.10u) ) .. z305; draw z305 .. ( 0.5 [z305, z306] + (0,0.10u) ) .. z306; draw z306 .. ( 0.5 [z306, z307] + (0,0.10u) ) .. z307; draw z307 .. ( 0.5 [z307, z14] + (0,0.10u) ) .. z14; draw z3011--z3012; draw z3041--z3042; draw z16--z161; label.bot(btex ${\rm A}$ etex, z10); label.bot(btex ${\rm E}$ etex, z12); label.lft(btex ${\rm B}$ etex, z11); label.rt(btex ${\rm G}$ etex, z13); label.lft(btex ${\rm F}$ etex, z14); label.bot(btex ${\rm e}$ etex, z161); label.urt(btex ${\rm d}$ etex, z301); label.urt(btex ${\rm d}$ etex, z304 + (0,2pt)); label.bot(btex ${\rm C}$ etex, z3011); label.bot(btex ${\rm C}$ etex, z3041); label.top(btex ${\rm K}$ etex, z3012); label.top(btex ${\rm K}$ etex, z3042); label.urt(btex ${\rm D}$ etex, z3013 + (0,4pt)); label.ulft(btex ${\rm D}$ etex, z3043); endfig; bye;