Aba General Case Analysis