Where do these equations come from