Refined definition of Option