NEW comparison library, restrictions + corrections