Ater ett löst antagande,