two-variable logic with counting