r (Let;)Lavj;
b (Let;I)I
o (Let;)Lawt;
d (Let;)Z
b (Let;)Lanh;
a (Let;Lfa;)I
N ()Lamz;
isSideSolid (Let;Lfa;Z)Z
