Vampire's ∞ pathoS