Foundations: Inductive Arguments from Design