オプションの話。