Tagged: three normal forms