Under antagande , att detvar