A devitt-proof constructivism | AMiner