specification language added