(and (1)