An example of a logical framework