~subvertnormality