New: formality