spec syntax