finished options.sml