formatting and spec