formal papers