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