Template:Computational hardness assumptions