File:Contact dynamics setvalued.jpg