#AA-2 fixed
#AA-2 fixed and empty set fixed