perhaps there is no problem. i suspect ants find algebra inconceivable. i just find considering existence or its alternative freaky in a does-not-compute kind of way.