Email Record: Essays in constructive mathematics