Forming absolute inequality from statement