~A[b(1)
mdws