with the normalization constant