Ad-Hoc Theory as Design