spec syntax

spec syntax