The correct way to do this is with finite model theory but we're not there yet.