Normal.sml fully fixed