Det skall nu varadefinitift