readded constraint suggested by tp, extended task3 report