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