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