The two justification formula arose in Pieper's Dogmatics, probably for the 1st time amongst Lutherans. 6) As to the punishment of sin the answer to the query no matter if the pardoned are exempt from all the punishments of sin, whether or not consequently justification is plena et perfecta, could be figured out from § 111, II. 2) In regard to sins and the punishment of sin. I: 15.