( Sistnämnda lösning behandlas närmare i avsnitt 7.3.2 ) .