improved documentation of contains/2