constant (logic)