As a researcher in formal methods, I totally get you