Adding empirical testing in the last §