turnstile header
don't forget to compute the GP factorization