Modal logic

Me: … And that’s how you derive this differential function.

Ben: I would probably have worked it out if I had enough time.

Me: You’re probably right.

Ben: I’m definitely right.

Me, smiling: Definitely.