leave of option