Keynote: Rigorous Whimsy Mindset