We merged the specs while implementation was in-progress. Once the code is freezed, we should update the specs again.