Minimal hand-waving