Alternative mathematics and the strong programme: Reply to Triplett