(Normal form