Added regular normal form