Constructivism, Intersubjectivity, Provability, and Triviality