verification - Reflective Bags