This is a preview. Log in through your library . Abstract Although mathematical practice has traditionally valued two distinct kinds of mathematical work— referred to by Gowers (2000) as theory ...