partitions and declarations
state methods implementation and spec