See FaganDefectFreeProcess