Mittelschmerz?

Patient: Hi my girlfriend and I had sex on the 13th of this month and today, the 18th, she is ovulating. She is experiencing cramps worse than normal and is scared of being pregnant. The cramps started in her lower stomach and moved to her lower back. I’ve done some research and I’m wondering if it could be mittelschmerz. Please help

Doctor: