Some normal forms, mostly