TEZMAN theme (extended version)