Den enda lämpliga åtgärden vore,