Given
...