Removed one normality condition