a beautiful constraint