intformal(1-A,Y)
