蝶々事件ラブソディック switch. American Odyssey Tours.

あなたは私の太陽です. Kripke semantics.