FDL
>
PVS
>
Graphs
>
ramsey
new
> i
: var-decl
i: VAR T