Constraints B1-B5 working and tested