Alltså är en stat med garanteradneu