working on normal.sml