Bounded variable logics and counting | lit.salon