exo resolution inequation