logic spec done