Vi antaga nu ,att