Let be a group, then there exists a piecewise linear knot in for with iff satisfies
1. is finitely presentable,
2. The Abelianization of is infinite cyclic,
3. The normal closure of some single element is all of ,
4. ; the second homology of the group is trivial.