Refers to actual intent of the individual. For example, a formal sin is what a person commits if they know or believe that the action they intend to commit is sinful. With reference to a pope, the person elected by the College of Cardinals becomes formally a pope when he comes to understand just what being pope really means and accepts the office with its obligations, responsibilities, and prerogatives.