Design must be proved before a designer can be inferred.