b'
Continuing pessimistic discussion about the purpose of formal methods for Computer Science.\\xa0 But then counter arguments about the value of absolutely correct software.