ex re c enst,