Added formality results