if 
aig 

