 up\n
 `str`\n
 list\n
 $\forall$ 
 $\forall$ 
 $\forall$ 
 $\forall$ 
 part)
(by 
{if 
# code