Under antagande , att allaöfvererastämnta