Constant in background knowledge is supported.