(a and c) < b