merge
Added rule for or elimination