diff --git a/README.md b/README.md
index bc67fac..6952c44 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
 [![License](https://img.shields.io/github/license/vacp2p/formalities.svg)](LICENSE)
 [![Build Status](https://travis-ci.com/vacp2p/formalities.svg?branch=master)](https://travis-ci.com/vacp2p/formalities)
 
-This repository contains TLA+ specifications for [vac](https://specs.vac.dev).
+This repository contains formal models for [vac](https://specs.vac.dev) protocols. These formal models serve to illustrate some of the high-level concepts.
 
 The current specs implemented:
  - [MVDS](./MVDS)