Modality and constitution in distinctively mathematical explanations · Study