A discrete math homework. Goal is changing a predication into another form using one kind of counter.