write solution and spec