Formal methods doesn't necessarily mean that you're building the right thing which catches quite a few projects out. I do really enjoy getting to work with them though :D