General Case Analysis Aba