used constant from normal form class