finish re-incorporating blog post on AC & equivalence