ZBDD v A.T.