# Tools for property based tests of collections