Jämför avsnitt 13.4.2 .