work on re-incorporating blog post on AC & equivalence