And e1 && e2 && ... returns True if all expressions evaluate to True. Attributes[And] := {Flat, HoldAll, OneIdentity, Protected} Simple examples In[1]:= True && False Out[1]= False In[2]:= True && True && True Out[2]= True