Title: Vampire in Theory and Practice