Variables
Completeness relations