is given by