assert : T U
