The generic symbol TIMZ only appears inside a THEORY. The many theorems referencing it are not listed here.