updated syntax for Annihilator