added some contexts to the formula spec