Add >=> and spec