One quick elaboration in section 4.