precense and uniqueness