given -> specified