Cleaned up constraint examples