(eq (not (not (not (not t)))) t)