Formal methods: the very idea - Some thoughts about why they work when they work