I was merely pointing out that the "mental" dependency of intuitionism isn't strictly necessary. Take it out, and you're left with an equally valid constructive logic.