add abstract
better names for the RFCs