Patrz: SMT.