b) The claim that verifying is faster than creating is unsupported. (E.g. reviewing programmer code is tougher than writing from scratch.)