less hand-waving