TAC-VM Glossary