`... with given ...`