deduce ut