l E Aug o o B -> 
l E Aug o o B -> 
l ( Aug o o B -> 
l E Aug o o B -> 
l E Aug o o B -> 
l E Aug o o B -> 
l ( Aug o o B -> 
l E Aug o o B -> 
l ( Aug o o B -> 
l E Aug o o B -> 
l ( Aug o o B -> 