hmm

IF: {2k: k E Z }
else: { [2k +1: k E Z]}