What we really need is an atomic_term :)