Revised 3.12 section a bit more