In honor of John Stallings' great paper, "How not to prove the Poincare conjecture", I will show how to reduce the smooth 4-dimensional Poincare conjecture to a (presumably incredibly difficult) statement in group theory. This is joint work with Aaron Abrams and Rob Kirby. We use trisections where Stallings used Heegaard splittings.