Fix disj not being defined