Summative problem def and formatting