Implementing some constraints