9 ms·The correct way to do this is with finite model theory but we're not there yet.by bmc7505 1y agoThe correct way to do this is with finite model theory but we're not there yet.