Variables

Completeness relations