an Entity references as follows:
Albatross is a general purpose programming language which can be verified statically.