added constraints TO BE TESTED