; r : *U^