ab2 subsumes abnormal