De båda lagarna redovisas närmare i avsnitt 9.3.1 respektive 9.3.2 .