syntax for covered varialbes