The specification language now includes global specs