Det är egentligen ett bevis förnödvändigheten