complemented variable