Text this: Deductive Systems for Logic Programs with Counting.