Discussion of "Cleanroom Software Development: An Empirical Evaluation" paper moved to CleanroomSoftwareDevelopmentEmpiricalEvaluation.