[Refactoring] betterspec
[Refactoring] set_value
[Spec] specs