Men antag nu ,att