Implementation of FM formulas from SOA Exam 2