more detail on Comparer spec