Penttonen normal form