Add additional constraints for exercise 3.3