@xiangli-cmu The `promotable` property can be determined by other properties. Can you remove this property and add a function:

```go
func (s *Server) promotable() bool {
    return s.log.currentIndex() > 0;
}
```