Class AndDef