[David] add abstract