Colexifications for "OR" and "IF"