Doing this: https://hackmd.io/WUtNusQxS5KAw-af3gxycA?view
Activity
y > (p-1)/2into its own function #13730