 Conversely, in order to pose a genuine challenge to the familiar deductivist position, the counterclaim needs to be that non-deductive methods play a role in the justification of mathematical results (Paseau 2015). It will therefore be primarily justificatory contexts which will be focused on in the remainder of this  survey.[2]