Om man antager , att -alla