And: typeof And