Refoundationalization view 3