assert : T U