Tubili. Tam model theory.

Sti id. Symbol reliability.