execute a()

if a() returns false execute e() and end.  

if a() returns true execute b()

if b() returns false execute e() and end.

if b() returns true exece c() and end.