This proof step moved.

The science-backed method is now covered earlier in the flow.