Ken's updates and formality change