No such list inequality_csai