Template:Additivelist/Weak Petrus