— Antag alltså ,att