or
l
shorter rex rules:
l
or(0, 0) => 0;
l
or(x, y) => 1;