Med stor majoritet beslöts det nämligen: