Helper functions, relax k times, etc. Realised it's never gonna work.