The unstable formula theorem revisited via algorithms

Re-assign community