let a 2 if a then + a 2 else 0