Reduce sml then, my friend :))))