Al’s in equality problem