assumes

assumes