I den utförliga diskussionen—