( Se dock avsnitt 6.4.2 ) .