Raw mathematician view 1